Clean up save_init_fpu().
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 14 Feb 2006 22:30:59 +0000 (23:30 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 14 Feb 2006 22:30:59 +0000 (23:30 +0100)
commitb42ab5370e969d28569ac14db3c921b401c0e855
tree86b618f0f6b60d1648fa6543b3ad0d101a0651b3
parent4e44a5e52e8be71c2e79fae3956dab42cf88caa6
Clean up save_init_fpu().

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/i387.c